(assert (=(_ extract
